Buy Used and New Corina Pasareanu Books

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings: 13047 (Lecture Notes in Computer Science, 13047)

by Marieke Huisman,Corina Pasareanu,Naijun Zhan

ISBN 13: 9783030908690

Format: Paperback (817 pages)
Publisher: Springer
Published: 10 Nov 2021

Save for later